The SL synchronous language, revisited
نویسنده
چکیده
We revisit the SL synchronous programming model introduced by Boussinot andDe Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative designof the model including thread spawning and recursive definitions and we exploresome basic properties of the revised model: determinism, reactivity, CPS translationto a tail recursive form, computational expressivity, and a compositional notion ofprogram equivalence.
منابع مشابه
60 19 v 1 5 J un 2 00 6 A synchronous π - calculus
The SL synchronous programming model is a relaxation of the Esterel synchronous model where the reaction to the absence of a signal within an instant can only happen at the next instant. In previous work, we have revisited the SL synchronous programming model. In particular, we have discussed an alternative design of the model including thread spawning and recursive definitions, introduced a CP...
متن کاملA Synchronous Π-calculus
The SL synchronous programming model is a relaxation of the Esterel synchronous model where the reaction to the absence of a signal within an instant can only happen at the next instant. In previous work, we have revisited the SL synchronous programming model. In particular, we have discussed an alternative design of the model including thread spawning and recursive definitions, introduced a CP...
متن کاملA synchronous pi-calculus
The SL synchronous programming model is a relaxation of the Esterel synchronous model where the reaction to the absence of a signal within an instant can only happen at the next instant. In previous work, we have revisited the SL synchronous programming model. In particular, we have discussed an alternative design of the model, introduced a CPS translation to a tail recursive form, and proposed...
متن کاملThe SL Synchronous Language
We present a new synchronous programming language named SL based on Esterel, in which hypothesis about signal presences or absences are not allowed. Thus, one can decide that a signal was absent during one instant only at the end of this instant, and so reaction to this absence is delayed. Esterel \causality problems" are avoided at the price of replacing strong preemptions by weak ones. An ope...
متن کاملCommunication Strategies Revisited: Looking beyond Interactional and Psycholinguistic Perspectives
Second language (L2) communication strategies (CSs) have traditionally been dealt with through either interactional or psychological perspectives. However, this paper is a critical attempt to question the status of the particular kinds of psycholinguistic and interactional approaches that currently dominate the field of second language acquisition (SLA). In this way, it expands the significance...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Algebr. Program.
دوره 70 شماره
صفحات -
تاریخ انتشار 2007